🇬🇧 en fr 🇫🇷

Gödel number noun

  • (logic) A number uniquely assigned to each symbol, and to each well-formed formula of some formal language.
 nombre de Gödel
Wiktionary Links